A non-re-entrant piece of code that can only be executed by

one process at a time. It will usually terminate in bounded

time and a process will only have to wait a bounded time to

enter it. Some synchronisation mechanism is required at the

entry and exit of the critical section to ensure exclusive

use.